A Survey on Approaches for Timed Services
نویسندگان
چکیده
In the context of service-oriented computing, time has been extensively studied in literature. We present a survey on possible problem statements for timed services, and give an overview of state-of-the-art approaches. Thereby we identify which problems are already thoroughly researched and which problems warrant further research.
منابع مشابه
Load Balancing Approaches for Web Servers: A Survey of Recent Trends
Numerous works has been done for load balancing of web servers in grid environment. Reason behinds popularity of grid environment is to allow accessing distributed resources which are located at remote locations. For effective utilization, load must be balanced among all resources. Importance of load balancing is discussed by distinguishing the system between without load balancing and with loa...
متن کاملIdentifying Reasons of Non-attendance of Urban Households in the Comprehensive Centers of Health Services in Sanandaj: A Combination of Two Quantitative and Qualitative Approaches
Background and Objectives: Despite the implementation of the health reform plan and the increasing number of comprehensive centers of health services in 2014 in Iran, many people still do not attend these centers for various reasons. The aim of this study was to determine the reasons why urban households do not attend comprehensive centers of health services in Sanandaj. Methods: This study...
متن کاملImpact of implementation of LDR system on qualitative indicators of maternity services
Background and Purpose: The importance of hospital quality services in order to best utiliz available resources are not unknown to managers. This is especially important in the maternity sector due to the high density of referrals. Implementation of LDR (Labor, Delivery, Recovery) is one of the new approaches to improve delivery services in the country. The purpose of this study was to evaluate...
متن کاملDiagonal Constraints in Timed Automata: Forward Analysis of Timed Systems
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability properties. Though diagonal constraints do not add expressive power to classical TA, the standard forward analysis algorithm is not correct for this model. In this paper we survey several approaches to handle diagona...
متن کاملA survey of timed automata for the development of real-time systems
Survey Real-time systems Formal models Semantics Timed regular languages Decision problems Variants Implementability Tools A B S T R A C T Timed automata are a popular formalism to model real-time systems. They were introduced two decades ago to support formal verification. Since then they have also been used for other purposes and a large number of variants has been introduced to be able to de...
متن کامل